181. An examination of logical positivism
پدیدآورنده : Weinberg, Julius Rudolph
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Logical positivism
رده :
BC
135
.
W37
1936
182. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Gdel, Kurt,، Gdel numbers,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S65
2007
183. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
184. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA9
.
65
.
S6
2007
185. An introduction to Gödel's theorems /
پدیدآورنده : Peter Smith
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical
186. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
187. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
188. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Hilbert space , Quantum theory , Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
189. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
190. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
191. An introduction to Mathematical thought. Reding, Mass
پدیدآورنده : Edward Russell Stabler
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
192. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, Gertrude Elizabeth Margaret, 9191-1002
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T7226
1971
193. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, G. E. M. )Gertrude Elizabeth Margaret(
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : Tractatus logico-philosophicus - Criticism and Interpretation ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages
رده :
B
3376
.
W563T7
194. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
195. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
196. An introduction to fussy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
.
H39
2010
197. An introduction to fuzzy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
H39
2000
198. An introduction to many-valued logics
پدیدآورنده : Robert John Ackermann
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
A23
199. An introduction to mathematical logic
پدیدآورنده : ROBINSON,GERSON B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
R72
200. An introduction to mathematical logic
پدیدآورنده : Richard E. Hodel,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, Symbolic and mathematical
رده :
QA
.
H547
9
1995
